the abstract model provides the spatio-teniporal analysis database system ( stadbs ) with a basis having exact semanteme and distinct concept, while the discrete model is a kind of implementation design, which maps the abstract model into those computable data types in terms of finite sets 抽象模型為時空數(shù)據(jù)庫管理系統(tǒng)??stadbs提供了一個語義精確、概念清晰的基礎(chǔ),離散模型則是一種實現(xiàn)設(shè)計,把基于無限描述的抽象模型映射為可在計算機中處理的數(shù)據(jù)類型。